Refinement and implementation techniques for Abstract State Machines
نویسنده
چکیده
Contents Introduction 1 1 Submachine Concept 3 1.
منابع مشابه
Tool-Supported Use of UML for Developing B Projects
Much work has been undertaken to find suitable translations from UML to B. Most of this work concentrates on the abstract machine specification level and de-composition of a large machine into smaller machines based on the UML classes and their relationships. However, the primary decomposition mechanism in B is not the inclusion of other machines; it is decomposition by refinement. An abstract ...
متن کاملClass and State Machine Refinement in UML-B
UML-B is a ’UML-like’ graphical front end for Event-B. It adds support for object oriented modeling concepts while visually retaining the Event-B modeling concepts. In the continuity of the work on UML-B, we strengthen its refinement concepts. Development in Event-B is done through refinements of an abstract model. Since Event-B is reflected in UML-B, the abstraction-refinement concepts must al...
متن کاملModular Refinement for Submachines of ASMs
We describe and formalize a compositional, contract-based submachine refinement for a variant of Abstract State Machines. We motivate the approach by models of the Flash file system case study, where it is infeasible to refine a complete machine as a whole.
متن کاملASM Ground Model and Refinement for Data Warehouses
Data Warehouses and on-line analytical processing (OLAP) systems are a promising area for the application of Abstract State Machines (ASMs). In this paper a ground model specification for data warehouses is sketched that is based on the fundamental idea of separating input from operational databases and output to OLAP systems. On this basis we start defining formal refinement rules for such sys...
متن کاملRefinements in Typed Abstract State Machines
While Abstract State Machines (ASMs) provide a general purpose development method, it is advantageous to provide extensions that ease their use in particular application areas. This paper focuses on such extensions for the benefit of a “refinement calculus” in the area of data warehouses and on-line analytical processing (OLAP). We show that providing typed ASMs helps to exploit the existing lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002